Basic research

Results: 2119



#Item
361

BRICS Basic Research in Computer Science BRICS RSL. Kristiansen: The Implicit Computational Complexity of Imperative Programming Languages The Implicit Computational Complexity of

Add to Reading List

Source URL: www.brics.dk

- Date: 2001-11-23 08:11:14
    362

    BRICS Basic Research in Computer Science ´ BRICS RSEsik & N´emeth: Higher Dimensional Automata

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2002-11-20 04:52:21
      363

      BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Frandsen: Extended Quadratic Frobenius Test An Extended Quadratic

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2001-11-19 05:00:17
        364

        BRICS Basic Research in Computer Science ´ BRICS RSEsik & Leiß: Greibach Normal Form in Algebraically Complete Semirings

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2003-01-07 05:40:12
          365

          BRICS BRICS DS-96-4 Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2000-06-22 05:38:26
            366

            BRICS RSH. K. Rohde: Measuring the Propagation of Information in Partial Evaluation BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2005-10-07 07:33:15
              367

              BRICS Basic Research in Computer Science BRICS RSCurien et al.: Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 1997-09-05 05:07:30
                368

                BRICS Basic Research in Computer Science BRICS RSV. N. Variyam: A Note on NP ∩ coNP/poly

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2000-09-05 07:46:14
                  369

                  BRICS Basic Research in Computer Science BRICS DS-02-5 R. Pagh: Hashing, Randomness and Dictionaries

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2004-03-29 09:24:27
                    370

                    BRICS Basic Research in Computer Science BRICS DSM. Nygaard: Domain Theory for Concurrency Domain Theory for Concurrency

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2004-03-29 08:43:04
                      UPDATE